Fairbairn, Canberra
Results: 11
# | Item |
---|---|
11![]() | Engineering with Logic: Rigorous Specification and Validation for TCP/IP and the Sockets API STEVE BISHOP, University of Cambridge1 MATTHEW FAIRBAIRN, University of Cambridge1 MICHAEL NORRISH, NICTA, Canberra TOM RIDGE,Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2013-01-27 05:11:42 |